[next] [prev] [prev-tail] [tail] [up]

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA and IntegrateAlgebraic to I.A.

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

94 94 86 133 84 200 333 87 97 0

N.S.

1 1.00 0.91 1.41 0.89 2.13 3.54 0.93 1.03 0.00

time (sec)

N/A 0.113 0.072 0.031 0.968 0.404 1.854 0.151 3.436 0.001

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

228 228 204 373 220 500 933 263 253 0

N.S.

1 1.00 0.89 1.64 0.96 2.19 4.09 1.15 1.11 0.00

time (sec)

N/A 0.330 0.204 0.012 0.979 0.418 7.873 0.159 0.249 0.001

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

441 441 422 822 471 1014 1962 623 552 0

N.S.

1 1.00 0.96 1.86 1.07 2.30 4.45 1.41 1.25 0.00

time (sec)

N/A 0.621 0.459 0.008 0.989 0.438 23.623 0.164 3.792 0.001

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

274 274 212 745 0 0 0 266 3888 0

N.S.

1 1.00 0.77 2.72 0.00 0.00 0.00 0.97 14.19 0.00

time (sec)

N/A 0.282 0.368 0.016 0.000 0.000 0.000 0.168 38.323 0.001

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

596 596 523 9311 0 0 0 1313 23006 0

N.S.

1 1.00 0.88 15.62 0.00 0.00 0.00 2.20 38.60 0.00

time (sec)

N/A 1.772 1.842 0.055 0.000 0.000 0.000 0.205 7.534 0.001

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

331 331 322 3358 0 0 0 0 -1 523

N.S.

1 1.00 0.97 10.15 0.00 0.00 0.00 0.00 -0.00 1.58

time (sec)

N/A 0.601 0.801 0.085 0.000 0.000 0.000 0.000 0.000 0.782

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

249 249 249 714 0 6113 0 0 -1 219

N.S.

1 1.00 1.00 2.87 0.00 24.55 0.00 0.00 -0.00 0.88

time (sec)

N/A 0.204 0.240 0.024 0.000 52.196 0.000 0.000 0.000 0.427

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F(-1) F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

381 380 440 2758 0 0 0 0 -1 658

N.S.

1 1.00 1.15 7.24 0.00 0.00 0.00 0.00 -0.00 1.73

time (sec)

N/A 0.798 0.650 0.026 0.000 0.000 0.000 0.000 0.000 1.501

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F(-1) F(-2) F F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

797 796 674 6422 0 0 0 0 -1 0

N.S.

1 1.00 0.85 8.06 0.00 0.00 0.00 0.00 -0.00 0.00

time (sec)

N/A 1.870 4.060 0.031 0.000 0.000 0.000 0.000 0.000 180.082

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

47 47 49 46 65 46 0 48 -1 37

N.S.

1 1.00 1.04 0.98 1.38 0.98 0.00 1.02 -0.02 0.79

time (sec)

N/A 0.034 0.008 0.018 0.973 0.629 0.000 0.246 0.000 0.225

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F B F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

117 117 78 637 0 758 0 457 -1 106

N.S.

1 1.00 0.67 5.44 0.00 6.48 0.00 3.91 -0.01 0.91

time (sec)

N/A 0.169 0.033 0.176 0.000 0.560 0.000 0.376 0.000 0.239

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

484 484 136 6871419 0 0 0 0 -1 210

N.S.

1 1.00 0.28 14197.15 0.00 0.00 0.00 0.00 -0.00 0.43

time (sec)

N/A 23.581 0.083 0.515 0.000 0.000 0.000 0.000 0.000 0.421

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

184 182 175 510 0 583 1260 191 273 0

N.S.

1 0.99 0.95 2.77 0.00 3.17 6.85 1.04 1.48 0.00

time (sec)

N/A 0.346 0.211 0.008 0.000 0.444 16.651 0.169 3.852 0.001

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

542 542 535 1672 0 1837 4663 738 893 0

N.S.

1 1.00 0.99 3.08 0.00 3.39 8.60 1.36 1.65 0.00

time (sec)

N/A 1.102 0.604 0.012 0.000 0.610 145.638 0.246 4.854 0.001

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F(-1) A F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

406 398 267 1698 0 0 0 416 -1 0

N.S.

1 0.98 0.66 4.18 0.00 0.00 0.00 1.02 -0.00 0.00

time (sec)

N/A 0.478 0.462 0.013 0.000 0.000 0.000 0.169 0.000 0.001

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

1075 1067 952 51470 0 0 0 3226 118429 0

N.S.

1 0.99 0.89 47.88 0.00 0.00 0.00 3.00 110.17 0.00

time (sec)

N/A 4.177 6.700 0.054 0.000 0.000 0.000 0.451 30.314 0.001

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

140 140 131 340 0 1150 709 219 395 0

N.S.

1 1.00 0.94 2.43 0.00 8.21 5.06 1.56 2.82 0.00

time (sec)

N/A 0.131 0.143 0.006 0.000 0.644 2.437 0.172 0.422 0.001

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

140 140 131 340 0 1130 680 207 375 0

N.S.

1 1.00 0.94 2.43 0.00 8.07 4.86 1.48 2.68 0.00

time (sec)

N/A 0.104 0.027 0.006 0.000 0.611 2.259 0.170 4.020 0.001

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

617 615 517 16209 0 0 0 0 -1 893

N.S.

1 1.00 0.84 26.27 0.00 0.00 0.00 0.00 -0.00 1.45

time (sec)

N/A 8.998 2.086 0.051 0.000 0.000 0.000 0.000 0.000 1.207

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F(-1) F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

1092 1092 1627 59465 0 0 0 0 -1 2787

N.S.

1 1.00 1.49 54.46 0.00 0.00 0.00 0.00 -0.00 2.55

time (sec)

N/A 18.867 6.564 0.032 0.000 0.000 0.000 0.000 0.000 7.505

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

416 416 393 2269 0 0 0 0 -1 278

N.S.

1 1.00 0.94 5.45 0.00 0.00 0.00 0.00 -0.00 0.67

time (sec)

N/A 2.702 4.175 0.044 0.000 0.000 0.000 0.000 0.000 0.533

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

780 780 254 784 0 6861 0 0 -1 218

N.S.

1 1.00 0.33 1.01 0.00 8.80 0.00 0.00 -0.00 0.28

time (sec)

N/A 5.162 0.409 0.039 0.000 47.867 0.000 0.000 0.000 0.439

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

302 302 283 1771 0 8977 0 0 -1 195

N.S.

1 1.00 0.94 5.86 0.00 29.73 0.00 0.00 -0.00 0.65

time (sec)

N/A 0.843 0.430 0.033 0.000 60.517 0.000 0.000 0.000 0.438

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

101 101 154 608 0 1515 0 0 -1 563

N.S.

1 1.00 1.52 6.02 0.00 15.00 0.00 0.00 -0.01 5.57

time (sec)

N/A 0.127 0.174 0.021 0.000 0.542 0.000 0.000 0.000 2.273

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B F F(-1) F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

139 139 140 324 361 322 0 0 -1 149

N.S.

1 1.00 1.01 2.33 2.60 2.32 0.00 0.00 -0.01 1.07

time (sec)

N/A 0.220 0.301 0.068 1.074 0.445 0.000 0.000 0.000 0.343

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B F F(-1) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

166 166 167 760 678 344 0 0 -1 149

N.S.

1 1.00 1.01 4.58 4.08 2.07 0.00 0.00 -0.01 0.90

time (sec)

N/A 0.221 0.378 0.027 1.112 0.442 0.000 0.000 0.000 0.394

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B F F(-1) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

193 193 185 1560 1276 439 0 0 -1 195

N.S.

1 1.00 0.96 8.08 6.61 2.27 0.00 0.00 -0.01 1.01

time (sec)

N/A 0.266 0.596 0.020 1.263 0.442 0.000 0.000 0.000 0.535

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B B F A F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

151 151 148 186 363 245 0 93 -1 109

N.S.

1 1.00 0.98 1.23 2.40 1.62 0.00 0.62 -0.01 0.72

time (sec)

N/A 0.229 0.356 0.051 1.069 0.432 0.000 0.477 0.000 0.782

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

174 174 172 466 668 365 0 112 -1 148

N.S.

1 1.00 0.99 2.68 3.84 2.10 0.00 0.64 -0.01 0.85

time (sec)

N/A 0.255 0.570 0.019 1.099 0.446 0.000 0.499 0.000 1.019

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

197 197 190 878 1276 435 0 121 -1 160

N.S.

1 1.00 0.96 4.46 6.48 2.21 0.00 0.61 -0.01 0.81

time (sec)

N/A 0.303 0.710 0.017 1.241 0.433 0.000 0.541 0.000 0.974

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F B B B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

15 15 79 14 0 49 36 31 13 15

N.S.

1 1.00 5.27 0.93 0.00 3.27 2.40 2.07 0.87 1.00

time (sec)

N/A 0.017 0.045 0.020 0.000 0.410 6.999 0.347 3.763 0.300

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F B F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

44 44 101 40 0 106 0 108 -1 71

N.S.

1 1.00 2.30 0.91 0.00 2.41 0.00 2.45 -0.02 1.61

time (sec)

N/A 0.052 0.055 0.012 0.000 0.410 0.000 0.374 0.000 0.347

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F A A B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

24 24 90 20 0 34 68 39 19 24

N.S.

1 1.00 3.75 0.83 0.00 1.42 2.83 1.62 0.79 1.00

time (sec)

N/A 0.019 0.063 0.018 0.000 0.416 6.813 0.355 3.781 0.373

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F B F B F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

56 56 114 45 0 307 0 133 -1 92

N.S.

1 1.00 2.04 0.80 0.00 5.48 0.00 2.38 -0.02 1.64

time (sec)

N/A 0.050 0.061 0.012 0.000 0.454 0.000 0.319 0.000 0.243

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B F F(-1) F(-1) F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

249 249 767 3606 0 0 0 0 -1 1019

N.S.

1 1.00 3.08 14.48 0.00 0.00 0.00 0.00 -0.00 4.09

time (sec)

N/A 0.910 1.489 0.053 0.000 0.000 0.000 0.000 0.000 2.435

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

48 48 46 48 0 85 0 81 49 47

N.S.

1 1.00 0.96 1.00 0.00 1.77 0.00 1.69 1.02 0.98

time (sec)

N/A 0.050 0.185 0.005 0.000 0.630 0.000 0.266 3.753 0.418

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

17 17 165 94 0 56 0 98 -1 17

N.S.

1 1.00 9.71 5.53 0.00 3.29 0.00 5.76 -0.06 1.00

time (sec)

N/A 0.022 0.288 0.017 0.000 0.423 0.000 0.231 0.000 0.297

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

86 86 150 123 0 132 0 163 -1 56

N.S.

1 1.00 1.74 1.43 0.00 1.53 0.00 1.90 -0.01 0.65

time (sec)

N/A 0.185 0.109 0.013 0.000 0.429 0.000 0.275 0.000 0.350

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) F F F F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

136 136 108 121 0 0 0 0 -1 127

N.S.

1 1.00 0.79 0.89 0.00 0.00 0.00 0.00 -0.01 0.93

time (sec)

N/A 0.114 0.091 0.027 0.000 50.453 0.000 0.000 0.000 0.278

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

212 212 129 103 0 175 0 117 -1 111

N.S.

1 1.00 0.61 0.49 0.00 0.83 0.00 0.55 -0.00 0.52

time (sec)

N/A 0.116 0.151 0.048 0.000 0.429 0.000 0.253 0.000 0.294

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

161 161 117 83 0 157 0 98 -1 96

N.S.

1 1.00 0.73 0.52 0.00 0.98 0.00 0.61 -0.01 0.60

time (sec)

N/A 0.067 0.116 0.010 0.000 0.429 0.000 0.213 0.000 0.255

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

148 148 85 65 0 128 0 79 -1 87

N.S.

1 1.00 0.57 0.44 0.00 0.86 0.00 0.53 -0.01 0.59

time (sec)

N/A 0.057 0.063 0.008 0.000 0.430 0.000 0.271 0.000 0.286

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

160 160 139 94 0 341 0 102 -1 114

N.S.

1 1.00 0.87 0.59 0.00 2.13 0.00 0.64 -0.01 0.71

time (sec)

N/A 0.119 0.143 0.009 0.000 0.445 0.000 0.247 0.000 0.305

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

156 156 118 118 0 333 0 126 -1 111

N.S.

1 1.00 0.76 0.76 0.00 2.13 0.00 0.81 -0.01 0.71

time (sec)

N/A 0.113 0.281 0.013 0.000 0.444 0.000 0.260 0.000 0.309

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

161 161 126 141 0 377 0 199 -1 115

N.S.

1 1.00 0.78 0.88 0.00 2.34 0.00 1.24 -0.01 0.71

time (sec)

N/A 0.116 0.116 0.015 0.000 0.440 0.000 0.275 0.000 0.409

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

317 317 198 530 0 517 0 368 -1 263

N.S.

1 1.00 0.62 1.67 0.00 1.63 0.00 1.16 -0.00 0.83

time (sec)

N/A 0.333 0.275 0.018 0.000 0.469 0.000 0.311 0.000 1.001

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

227 227 147 381 0 391 0 268 -1 196

N.S.

1 1.00 0.65 1.68 0.00 1.72 0.00 1.18 -0.00 0.86

time (sec)

N/A 0.127 0.131 0.013 0.000 0.452 0.000 0.283 0.000 0.700

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

198 198 134 257 0 287 0 185 -1 150

N.S.

1 1.00 0.68 1.30 0.00 1.45 0.00 0.93 -0.01 0.76

time (sec)

N/A 0.101 0.127 0.011 0.000 0.453 0.000 0.302 0.000 0.602

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F A F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

211 211 149 214 0 651 0 0 -1 154

N.S.

1 1.00 0.71 1.01 0.00 3.09 0.00 0.00 -0.00 0.73

time (sec)

N/A 0.221 0.198 0.011 0.000 1.145 0.000 0.000 0.000 0.638

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F A F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

202 202 155 249 0 647 0 0 -1 136

N.S.

1 1.00 0.77 1.23 0.00 3.20 0.00 0.00 -0.00 0.67

time (sec)

N/A 0.194 0.189 0.013 0.000 0.685 0.000 0.000 0.000 0.619

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

215 215 161 358 0 693 0 450 -1 150

N.S.

1 1.00 0.75 1.67 0.00 3.22 0.00 2.09 -0.00 0.70

time (sec)

N/A 0.183 0.218 0.016 0.000 0.859 0.000 0.413 0.000 0.806

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-1) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

452 452 516 7739 0 0 0 0 -1 496

N.S.

1 1.00 1.14 17.12 0.00 0.00 0.00 0.00 -0.00 1.10

time (sec)

N/A 1.967 2.500 0.039 0.000 0.000 0.000 0.000 0.000 0.672

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-1) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

395 395 422 5581 0 0 0 0 -1 383

N.S.

1 1.00 1.07 14.13 0.00 0.00 0.00 0.00 -0.00 0.97

time (sec)

N/A 0.931 1.524 0.015 0.000 0.000 0.000 0.000 0.000 0.527

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-1) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

298 298 282 3249 0 0 0 0 -1 267

N.S.

1 1.00 0.95 10.90 0.00 0.00 0.00 0.00 -0.00 0.90

time (sec)

N/A 0.376 0.363 0.013 0.000 0.000 0.000 0.000 0.000 0.446

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

358 358 314 3544 0 2266 0 0 -1 306

N.S.

1 1.00 0.88 9.90 0.00 6.33 0.00 0.00 -0.00 0.85

time (sec)

N/A 1.314 0.651 0.019 0.000 38.141 0.000 0.000 0.000 0.488

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

382 382 569 3703 0 0 0 0 -1 343

N.S.

1 1.00 1.49 9.69 0.00 0.00 0.00 0.00 -0.00 0.90

time (sec)

N/A 1.417 3.033 0.025 0.000 0.000 0.000 0.000 0.000 0.577

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

507 507 642 3993 0 0 0 0 -1 541

N.S.

1 1.00 1.27 7.88 0.00 0.00 0.00 0.00 -0.00 1.07

time (sec)

N/A 1.880 2.607 0.019 0.000 0.000 0.000 0.000 0.000 0.995

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F(-1) F F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

795 795 793 19148 0 0 0 0 -1 960

N.S.

1 1.00 1.00 24.09 0.00 0.00 0.00 0.00 -0.00 1.21

time (sec)

N/A 4.264 3.449 0.030 0.000 0.000 0.000 0.000 0.000 1.215

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

553 553 755 14709 0 0 0 0 -1 771

N.S.

1 1.00 1.37 26.60 0.00 0.00 0.00 0.00 -0.00 1.39

time (sec)

N/A 2.431 2.011 0.015 0.000 0.000 0.000 0.000 0.000 0.886

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

484 482 603 8954 0 0 0 0 -1 557

N.S.

1 1.00 1.25 18.50 0.00 0.00 0.00 0.00 -0.00 1.15

time (sec)

N/A 4.240 1.073 0.014 0.000 0.000 0.000 0.000 0.000 0.703

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

496 496 746 9728 0 0 0 0 -1 559

N.S.

1 1.00 1.50 19.61 0.00 0.00 0.00 0.00 -0.00 1.13

time (sec)

N/A 2.569 1.575 0.018 0.000 0.000 0.000 0.000 0.000 0.684

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F F(-1) F F F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

604 604 885 9912 0 0 0 0 -1 502

N.S.

1 1.00 1.47 16.41 0.00 0.00 0.00 0.00 -0.00 0.83

time (sec)

N/A 2.809 4.159 0.020 0.000 0.000 0.000 0.000 0.000 0.736

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F F(-1) F(-1) F F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

668 668 904 10298 0 0 0 0 -1 624

N.S.

1 1.00 1.35 15.42 0.00 0.00 0.00 0.00 -0.00 0.93

time (sec)

N/A 3.465 3.223 0.019 0.000 0.000 0.000 0.000 0.000 0.954

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

380 380 378 2397 0 0 0 0 -1 315

N.S.

1 1.00 0.99 6.31 0.00 0.00 0.00 0.00 -0.00 0.83

time (sec)

N/A 1.170 1.333 0.029 0.000 0.000 0.000 0.000 0.000 0.486

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

344 344 334 1796 0 0 0 0 -1 229

N.S.

1 1.00 0.97 5.22 0.00 0.00 0.00 0.00 -0.00 0.67

time (sec)

N/A 0.541 0.701 0.015 0.000 0.000 0.000 0.000 0.000 0.432

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

294 294 275 1172 0 5085 0 0 -1 156

N.S.

1 1.00 0.94 3.99 0.00 17.30 0.00 0.00 -0.00 0.53

time (sec)

N/A 0.235 0.320 0.013 0.000 1.645 0.000 0.000 0.000 0.384

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

266 266 247 589 0 5073 0 0 -1 131

N.S.

1 1.00 0.93 2.21 0.00 19.07 0.00 0.00 -0.00 0.49

time (sec)

N/A 0.151 0.291 0.013 0.000 1.622 0.000 0.000 0.000 0.364

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F F(-1) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

330 330 319 681 0 0 0 0 -1 242

N.S.

1 1.00 0.97 2.06 0.00 0.00 0.00 0.00 -0.00 0.73

time (sec)

N/A 0.825 0.742 0.017 0.000 0.000 0.000 0.000 0.000 0.448

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

367 367 356 736 0 0 0 0 -1 304

N.S.

1 1.00 0.97 2.01 0.00 0.00 0.00 0.00 -0.00 0.83

time (sec)

N/A 1.199 0.838 0.018 0.000 0.000 0.000 0.000 0.000 0.552

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F F(-1) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

457 457 460 911 0 0 0 0 -1 430

N.S.

1 1.00 1.01 1.99 0.00 0.00 0.00 0.00 -0.00 0.94

time (sec)

N/A 1.863 1.569 0.018 0.000 0.000 0.000 0.000 0.000 0.840

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

499 499 577 6124 0 0 0 0 -1 425

N.S.

1 1.00 1.16 12.27 0.00 0.00 0.00 0.00 -0.00 0.85

time (sec)

N/A 2.107 2.696 0.032 0.000 0.000 0.000 0.000 0.000 0.758

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

410 410 509 4752 0 0 0 0 -1 323

N.S.

1 1.00 1.24 11.59 0.00 0.00 0.00 0.00 -0.00 0.79

time (sec)

N/A 0.709 2.073 0.019 0.000 0.000 0.000 0.000 0.000 0.632

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

411 411 457 3000 0 0 0 0 -1 352

N.S.

1 1.00 1.11 7.30 0.00 0.00 0.00 0.00 -0.00 0.86

time (sec)

N/A 0.826 0.806 0.015 0.000 0.000 0.000 0.000 0.000 0.638

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

416 416 320 1713 0 0 0 0 -1 368

N.S.

1 1.00 0.77 4.12 0.00 0.00 0.00 0.00 -0.00 0.88

time (sec)

N/A 0.617 2.061 0.015 0.000 0.000 0.000 0.000 0.000 0.644

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F F(-1) F F(-1) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

526 526 497 1945 0 0 0 0 -1 552

N.S.

1 1.00 0.94 3.70 0.00 0.00 0.00 0.00 -0.00 1.05

time (sec)

N/A 2.183 3.497 0.017 0.000 0.000 0.000 0.000 0.000 0.951

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F F(-1) F F F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

618 618 557 2046 0 0 0 0 -1 720

N.S.

1 1.00 0.90 3.31 0.00 0.00 0.00 0.00 -0.00 1.17

time (sec)

N/A 2.280 3.604 0.019 0.000 0.000 0.000 0.000 0.000 1.287

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

392 392 327 1817 0 0 0 0 -1 414

N.S.

1 1.00 0.83 4.64 0.00 0.00 0.00 0.00 -0.00 1.06

time (sec)

N/A 0.952 0.889 0.018 0.000 0.000 0.000 0.000 0.000 1.053

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

316 316 302 1810 0 0 0 0 -1 327

N.S.

1 1.00 0.96 5.73 0.00 0.00 0.00 0.00 -0.00 1.03

time (sec)

N/A 0.489 0.485 0.017 0.000 0.000 0.000 0.000 0.000 0.832

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

282 282 272 1667 0 0 0 0 -1 361

N.S.

1 1.00 0.96 5.91 0.00 0.00 0.00 0.00 -0.00 1.28

time (sec)

N/A 0.295 0.294 0.014 0.000 0.000 0.000 0.000 0.000 0.585

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

266 266 253 1669 0 1139 0 0 -1 273

N.S.

1 1.00 0.95 6.27 0.00 4.28 0.00 0.00 -0.00 1.03

time (sec)

N/A 0.226 0.166 0.014 0.000 98.756 0.000 0.000 0.000 0.420

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F F F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

267 267 255 1764 0 1253 0 0 -1 342

N.S.

1 1.00 0.96 6.61 0.00 4.69 0.00 0.00 -0.00 1.28

time (sec)

N/A 0.778 0.295 0.018 0.000 17.018 0.000 0.000 0.000 0.390

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

286 286 275 1819 0 1094 0 0 -1 299

N.S.

1 1.00 0.96 6.36 0.00 3.83 0.00 0.00 -0.00 1.05

time (sec)

N/A 0.706 0.431 0.020 0.000 24.595 0.000 0.000 0.000 0.531

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

353 353 316 1953 0 1485 0 0 -1 392

N.S.

1 1.00 0.90 5.53 0.00 4.21 0.00 0.00 -0.00 1.11

time (sec)

N/A 0.879 0.522 0.017 0.000 133.831 0.000 0.000 0.000 0.858

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F(-1) F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

501 501 447 4884 0 0 0 0 -1 774

N.S.

1 1.00 0.89 9.75 0.00 0.00 0.00 0.00 -0.00 1.54

time (sec)

N/A 1.412 1.493 0.032 0.000 0.000 0.000 0.000 0.000 3.071

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

417 417 395 4900 0 0 0 0 -1 620

N.S.

1 1.00 0.95 11.75 0.00 0.00 0.00 0.00 -0.00 1.49

time (sec)

N/A 1.015 1.017 0.018 0.000 0.000 0.000 0.000 0.000 2.563

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

349 349 330 4567 0 0 0 0 -1 626

N.S.

1 1.00 0.95 13.09 0.00 0.00 0.00 0.00 -0.00 1.79

time (sec)

N/A 0.522 0.805 0.015 0.000 0.000 0.000 0.000 0.000 1.285

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

315 315 298 4574 0 0 0 0 -1 524

N.S.

1 1.00 0.95 14.52 0.00 0.00 0.00 0.00 -0.00 1.66

time (sec)

N/A 0.517 0.812 0.015 0.000 0.000 0.000 0.000 0.000 0.996

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

469 469 755 4765 0 0 0 0 -1 618

N.S.

1 1.00 1.61 10.16 0.00 0.00 0.00 0.00 -0.00 1.32

time (sec)

N/A 1.274 0.505 0.018 0.000 0.000 0.000 0.000 0.000 1.023

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

463 463 765 4799 0 0 0 0 -1 550

N.S.

1 1.00 1.65 10.37 0.00 0.00 0.00 0.00 -0.00 1.19

time (sec)

N/A 1.201 0.638 0.018 0.000 0.000 0.000 0.000 0.000 0.890

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F F F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

614 614 303 5056 0 0 0 0 -1 597

N.S.

1 1.00 0.49 8.23 0.00 0.00 0.00 0.00 -0.00 0.97

time (sec)

N/A 1.436 0.970 0.020 0.000 0.000 0.000 0.000 0.000 1.171

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

189 189 181 1346 0 2579 0 0 -1 314

N.S.

1 1.00 0.96 7.12 0.00 13.65 0.00 0.00 -0.01 1.66

time (sec)

N/A 0.285 0.583 0.018 0.000 164.299 0.000 0.000 0.000 0.823

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

75 75 75 102 83 70 0 73 -1 57

N.S.

1 1.00 1.00 1.36 1.11 0.93 0.00 0.97 -0.01 0.76

time (sec)

N/A 0.058 0.038 0.015 0.975 0.416 0.000 0.195 0.000 0.144

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

130 130 120 789 0 777 0 0 -1 103

N.S.

1 1.00 0.92 6.07 0.00 5.98 0.00 0.00 -0.01 0.79

time (sec)

N/A 0.160 0.161 0.137 0.000 0.460 0.000 0.000 0.000 0.431

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

369 369 300 516 0 0 0 0 -1 263

N.S.

1 1.00 0.81 1.40 0.00 0.00 0.00 0.00 -0.00 0.71

time (sec)

N/A 0.809 1.709 0.027 0.000 0.000 0.000 0.000 0.000 0.790

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

287 287 325 410 0 0 0 0 -1 224

N.S.

1 1.00 1.13 1.43 0.00 0.00 0.00 0.00 -0.00 0.78

time (sec)

N/A 0.633 1.158 0.018 0.000 0.000 0.000 0.000 0.000 0.497

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

266 266 250 399 0 0 0 0 -1 197

N.S.

1 1.00 0.94 1.50 0.00 0.00 0.00 0.00 -0.00 0.74

time (sec)

N/A 0.216 0.425 0.015 0.000 0.000 0.000 0.000 0.000 0.394

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

220 220 211 354 0 2753 0 0 -1 149

N.S.

1 1.00 0.96 1.61 0.00 12.51 0.00 0.00 -0.00 0.68

time (sec)

N/A 0.130 0.173 0.015 0.000 1.051 0.000 0.000 0.000 0.353

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

220 220 209 358 0 2641 0 0 -1 151

N.S.

1 1.00 0.95 1.63 0.00 12.00 0.00 0.00 -0.00 0.69

time (sec)

N/A 0.118 0.096 0.015 0.000 1.242 0.000 0.000 0.000 0.351

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F B F F F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

267 267 252 391 0 5995 0 0 -1 199

N.S.

1 1.00 0.94 1.46 0.00 22.45 0.00 0.00 -0.00 0.75

time (sec)

N/A 0.663 0.443 0.016 0.000 70.193 0.000 0.000 0.000 0.394

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

291 291 325 427 0 0 0 0 -1 227

N.S.

1 1.00 1.12 1.47 0.00 0.00 0.00 0.00 -0.00 0.78

time (sec)

N/A 0.657 1.033 0.017 0.000 0.000 0.000 0.000 0.000 0.522

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

376 376 314 519 0 0 0 0 -1 251

N.S.

1 1.00 0.84 1.38 0.00 0.00 0.00 0.00 -0.00 0.67

time (sec)

N/A 0.734 2.009 0.022 0.000 0.000 0.000 0.000 0.000 0.837

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

466 466 562 1648 0 0 0 0 -1 469

N.S.

1 1.00 1.21 3.54 0.00 0.00 0.00 0.00 -0.00 1.01

time (sec)

N/A 1.347 1.405 0.022 0.000 0.000 0.000 0.000 0.000 1.538

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

341 341 414 1480 0 0 0 0 -1 424

N.S.

1 1.00 1.21 4.34 0.00 0.00 0.00 0.00 -0.00 1.24

time (sec)

N/A 1.041 1.197 0.019 0.000 0.000 0.000 0.000 0.000 0.958

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

297 297 352 1427 0 0 0 0 -1 388

N.S.

1 1.00 1.19 4.80 0.00 0.00 0.00 0.00 -0.00 1.31

time (sec)

N/A 0.454 0.402 0.019 0.000 0.000 0.000 0.000 0.000 0.872

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

299 299 356 1360 0 0 0 0 -1 419

N.S.

1 1.00 1.19 4.55 0.00 0.00 0.00 0.00 -0.00 1.40

time (sec)

N/A 0.400 0.353 0.016 0.000 0.000 0.000 0.000 0.000 0.909

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

310 310 360 1376 0 0 0 0 -1 392

N.S.

1 1.00 1.16 4.44 0.00 0.00 0.00 0.00 -0.00 1.26

time (sec)

N/A 0.411 0.399 0.016 0.000 0.000 0.000 0.000 0.000 0.878

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F F F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

394 394 436 1518 0 0 0 0 -1 498

N.S.

1 1.00 1.11 3.85 0.00 0.00 0.00 0.00 -0.00 1.26

time (sec)

N/A 1.182 0.866 0.019 0.000 0.000 0.000 0.000 0.000 1.587

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

454 454 488 1656 0 0 0 0 -1 649

N.S.

1 1.00 1.07 3.65 0.00 0.00 0.00 0.00 -0.00 1.43

time (sec)

N/A 1.193 1.193 0.019 0.000 0.000 0.000 0.000 0.000 2.916

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

761 761 552 14815 0 0 0 0 -1 869

N.S.

1 1.00 0.73 19.47 0.00 0.00 0.00 0.00 -0.00 1.14

time (sec)

N/A 3.135 2.312 0.019 0.000 0.000 0.000 0.000 0.000 1.448

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

549 549 496 10138 0 0 0 0 -1 646

N.S.

1 1.00 0.90 18.47 0.00 0.00 0.00 0.00 -0.00 1.18

time (sec)

N/A 7.028 1.776 0.015 0.000 0.000 0.000 0.000 0.000 0.865

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

431 431 417 6019 0 0 0 0 -1 402

N.S.

1 1.00 0.97 13.97 0.00 0.00 0.00 0.00 -0.00 0.93

time (sec)

N/A 0.650 0.738 0.015 0.000 0.000 0.000 0.000 0.000 0.001

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

523 521 454 6460 0 0 0 0 -1 474

N.S.

1 1.00 0.87 12.35 0.00 0.00 0.00 0.00 -0.00 0.91

time (sec)

N/A 3.701 1.309 0.019 0.000 0.000 0.000 0.000 0.000 0.639

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) F(-1) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

736 736 520 6765 0 0 0 0 -1 589

N.S.

1 1.00 0.71 9.19 0.00 0.00 0.00 0.00 -0.00 0.80

time (sec)

N/A 3.476 1.683 0.019 0.000 0.000 0.000 0.000 0.000 0.882

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

545 545 550 3131 0 0 0 0 -1 430

N.S.

1 1.00 1.01 5.74 0.00 0.00 0.00 0.00 -0.00 0.79

time (sec)

N/A 3.722 2.201 0.032 0.000 0.000 0.000 0.000 0.000 0.740

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

463 463 468 2321 0 0 0 0 -1 324

N.S.

1 1.00 1.01 5.01 0.00 0.00 0.00 0.00 -0.00 0.70

time (sec)

N/A 3.436 0.947 0.017 0.000 0.000 0.000 0.000 0.000 0.532

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F F(-1) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

402 402 407 1516 0 11311 0 0 -1 204

N.S.

1 1.00 1.01 3.77 0.00 28.14 0.00 0.00 -0.00 0.51

time (sec)

N/A 0.963 0.974 0.014 0.000 14.499 0.000 0.000 0.000 0.426

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F F(-1) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

374 374 376 761 0 11287 0 0 -1 211

N.S.

1 1.00 1.01 2.03 0.00 30.18 0.00 0.00 -0.00 0.56

time (sec)

N/A 0.314 0.789 0.014 0.000 17.215 0.000 0.000 0.000 0.002

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F F(-1) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

451 451 450 859 0 0 0 0 -1 326

N.S.

1 1.00 1.00 1.90 0.00 0.00 0.00 0.00 -0.00 0.72

time (sec)

N/A 2.632 2.414 0.019 0.000 0.000 0.000 0.000 0.000 0.539

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F F(-1) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

543 543 533 983 0 0 0 0 -1 430

N.S.

1 1.00 0.98 1.81 0.00 0.00 0.00 0.00 -0.00 0.79

time (sec)

N/A 4.592 1.408 0.017 0.000 0.000 0.000 0.000 0.000 0.767

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F F(-1) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

679 679 669 1296 0 0 0 0 -1 558

N.S.

1 1.00 0.99 1.91 0.00 0.00 0.00 0.00 -0.00 0.82

time (sec)

N/A 11.226 2.110 0.020 0.000 0.000 0.000 0.000 0.000 1.478

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F(-1) F(-1) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

779 779 1066 14651 0 0 0 0 -1 729

N.S.

1 1.00 1.37 18.81 0.00 0.00 0.00 0.00 -0.00 0.94

time (sec)

N/A 14.170 2.624 0.035 0.000 0.000 0.000 0.000 0.000 1.691

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F(-1) F F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

609 609 1097 11341 0 0 0 0 -1 570

N.S.

1 1.00 1.80 18.62 0.00 0.00 0.00 0.00 -0.00 0.94

time (sec)

N/A 5.842 6.585 0.021 0.000 0.000 0.000 0.000 0.000 1.402

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F(-1) F F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

609 609 770 7163 0 0 0 0 -1 608

N.S.

1 1.00 1.26 11.76 0.00 0.00 0.00 0.00 -0.00 1.00

time (sec)

N/A 5.643 5.684 0.017 0.000 0.000 0.000 0.000 0.000 1.358

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F(-1) F F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

666 666 700 4099 0 0 0 0 -1 730

N.S.

1 1.00 1.05 6.15 0.00 0.00 0.00 0.00 -0.00 1.10

time (sec)

N/A 1.746 5.042 0.018 0.000 0.000 0.000 0.000 0.000 0.002

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F F F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

816 814 1121 4594 0 0 0 0 -1 1054

N.S.

1 1.00 1.37 5.63 0.00 0.00 0.00 0.00 -0.00 1.29

time (sec)

N/A 15.916 6.560 0.036 0.000 0.000 0.000 0.000 0.000 6.985

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

140 140 210 159 0 178 0 188 -1 108

N.S.

1 1.00 1.50 1.14 0.00 1.27 0.00 1.34 -0.01 0.77

time (sec)

N/A 0.501 0.527 0.019 0.000 1.278 0.000 0.203 0.000 0.416

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

115 115 192 144 0 175 0 185 -1 99

N.S.

1 1.00 1.67 1.25 0.00 1.52 0.00 1.61 -0.01 0.86

time (sec)

N/A 0.420 0.438 0.015 0.000 1.397 0.000 0.247 0.000 0.368

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

98 98 159 130 0 161 0 171 -1 82

N.S.

1 1.00 1.62 1.33 0.00 1.64 0.00 1.74 -0.01 0.84

time (sec)

N/A 0.198 0.187 0.009 0.000 1.036 0.000 0.226 0.000 0.335

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

68 69 174 92 0 50 0 68 -1 38

N.S.

1 1.01 2.56 1.35 0.00 0.74 0.00 1.00 -0.01 0.56

time (sec)

N/A 0.062 0.168 0.011 0.000 0.875 0.000 0.185 0.000 0.249

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

95 95 150 121 0 132 0 165 -1 62

N.S.

1 1.00 1.58 1.27 0.00 1.39 0.00 1.74 -0.01 0.65

time (sec)

N/A 0.111 0.100 0.011 0.000 0.785 0.000 0.188 0.000 0.309

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

130 130 200 152 0 170 0 199 -1 97

N.S.

1 1.00 1.54 1.17 0.00 1.31 0.00 1.53 -0.01 0.75

time (sec)

N/A 0.417 0.437 0.019 0.000 1.055 0.000 0.201 0.000 0.333

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

151 151 225 169 0 194 0 269 -1 118

N.S.

1 1.00 1.49 1.12 0.00 1.28 0.00 1.78 -0.01 0.78

time (sec)

N/A 0.454 0.405 0.020 0.000 1.090 0.000 0.483 0.000 0.425

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

149 149 87 147 155 88 0 85 187 92

N.S.

1 1.00 0.58 0.99 1.04 0.59 0.00 0.57 1.26 0.62

time (sec)

N/A 0.093 0.191 0.019 1.001 0.955 0.000 0.297 5.085 0.732

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

103 103 72 96 104 73 0 70 136 77

N.S.

1 1.00 0.70 0.93 1.01 0.71 0.00 0.68 1.32 0.75

time (sec)

N/A 0.042 0.033 0.006 0.981 0.874 0.000 0.204 4.690 0.443

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

28 28 37 163 0 53 0 63 -1 30

N.S.

1 1.00 1.32 5.82 0.00 1.89 0.00 2.25 -0.04 1.07

time (sec)

N/A 0.048 0.098 0.016 0.000 0.631 0.000 0.272 0.000 0.300

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

84 84 114 245 0 126 0 159 -1 80

N.S.

1 1.00 1.36 2.92 0.00 1.50 0.00 1.89 -0.01 0.95

time (sec)

N/A 0.078 0.238 0.023 0.000 0.981 0.000 0.272 0.000 0.370

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

139 139 131 306 0 186 0 232 -1 95

N.S.

1 1.00 0.94 2.20 0.00 1.34 0.00 1.67 -0.01 0.68

time (sec)

N/A 0.117 0.367 0.021 0.000 1.736 0.000 0.260 0.000 0.394

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

15 15 13 16 11 11 31 11 15 13

N.S.

1 1.00 0.87 1.07 0.73 0.73 2.07 0.73 1.00 0.87

time (sec)

N/A 0.004 0.007 0.004 0.434 0.597 0.311 0.153 3.723 0.016

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

16 16 13 14 9 11 10 11 13 13

N.S.

1 1.00 0.81 0.88 0.56 0.69 0.62 0.69 0.81 0.81

time (sec)

N/A 0.006 0.003 0.003 0.428 0.668 4.252 0.150 3.664 0.013

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

15 15 13 20 0 11 0 11 15 13

N.S.

1 1.00 0.87 1.33 0.00 0.73 0.00 0.73 1.00 0.87

time (sec)

N/A 0.028 0.006 0.004 0.000 0.987 0.000 0.160 3.675 0.016

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

15 15 13 18 0 11 0 11 13 13

N.S.

1 1.00 0.87 1.20 0.00 0.73 0.00 0.73 0.87 0.87

time (sec)

N/A 0.058 0.004 0.004 0.000 1.025 0.000 0.201 3.607 0.013

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F F(-1) F F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

242 242 268 0 0 0 0 0 -1 499

N.S.

1 1.00 1.11 0.00 0.00 0.00 0.00 0.00 -0.00 2.06

time (sec)

N/A 0.093 0.560 0.135 0.000 0.000 0.000 0.000 0.000 1.077

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A F F F F(-1) F F F C

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD N/A

size

488 488 0 0 0 0 0 0 -1 1038

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00 2.13

time (sec)

N/A 0.360 0.535 0.449 0.000 0.000 0.000 0.000 0.000 6.232

[next] [prev] [prev-tail] [front] [up]